The Philosophical Significance of Tennenbaum’s Theorem
نویسندگان
چکیده
Tennenbaum’s Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to modeltheoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum’s Theorem doesn’t help. We show this by examining a parallel argument, from a simpler model-theoretic result.
منابع مشابه
Tennenbaum’s Theorem for Models of Arithmetic
This paper discusses Tennenbaum’s Theorem in its original context of models of arithmetic, which states that there are no recursive nonstandard models of Peano Arithmetic. We focus on three separate areas: the historical background to the theorem; an understanding of the theorem and its relationship with the Gödel–Rosser Theorem; and extensions of Tennenbaum’s theorem to diophantine problems in...
متن کاملNo Escape from Vardanyan's theorem
Vardanyan’s Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum’s Theorem.
متن کاملThe Basic Theorem and its Consequences
Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...
متن کاملThe philosophical significance of Cox's theorem
Cox’s theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via th...
متن کاملRelative Interpretations in Constructive Arithmetic
In this paper, we show that the predicate logics of consistent extensions of Heyting’s Arithmetic plus Church’s Thesis with uniqueness condition are complete Π2. Similarly, we show that the predicate logic of HA ∗, i.e. Heyting’s Arithmetic plus the Completeness Principle (for HA∗) is complete Π2. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko’...
متن کامل